Split into edt-user.el and ../doc/misc/edt.texi, and remove.
authorGlenn Morris <rgm@gnu.org>
Tue, 15 Dec 2009 02:58:44 +0000 (02:58 +0000)
committerGlenn Morris <rgm@gnu.org>
Tue, 15 Dec 2009 02:58:44 +0000 (02:58 +0000)
commitdb2784bac368d3e946449e504adc323b5682d152
treee393b423e98d879d09aba827371fe80caa028942
parentf90d75d61b70701dd68d8b3abd68be2a756b7299
Split into edt-user.el and ../doc/misc/edt.texi, and remove.
etc/edt-user.doc [deleted file]